<?php
$user = get_user();
if($user !== NULL) { ?>
<!--following menu items shown if logged in-->
	<div id="nav">
	  <ul class="menu">
    	<li class="<?php echo $home; ?>"><a href="index1.php" title="Home">Home</a></li>
        <li class="<?php echo $manage; ?>"><a href="manage.php" title="Manage Users">Manage Users</a></li>
       	<li class="<?php echo $search; ?>"><a href="search.php" title="Search">Search</a></li>
    	<li class="<?php echo $account; ?>"><a href="account.php" title="Account">Account</a></li>
		<li class="<?php echo $logout; ?>"><a href="logout.php" title="Logout">Logout</a></li>
	  </ul>
	</div>
<?php } else { ?>
<!--following menu items shown if not logged in-->
	<div id="nav">
	  <ul class="menu">
    	<li class="<?php echo $home; ?>"><a href="index.php" title="Home">Home</a></li>
		<li class="<?php echo $login; ?>"><a href="login.php" title="Login">Login</a></li>
	    <li class="<?php echo $register; ?>"><a href="register.php" title="Register">Register</a></li>
	  </ul>
	</div>
<?php } ?>